structure Ref: REF =
struct

fun inc (x as ref xr) = x := (xr + 1)

end
